首页> 外文OA文献 >DP Lower Bounds for Equivalence-Checking and Model-Checking of One-Counter Automata

【2h】

DP Lower Bounds for Equivalence-Checking and Model-Checking of One-Counter Automata

机译：Dp下限用于单位自动机的等效检验和模型检验

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Petr Jančar; Antonín Kučera; Faron Moller; Zdeněk Sawa;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. DP lower bounds for equivalence-checking and model-checking of one-counter automata [J] . Petr Jancar, Antonin Kucera, Faron Moller, Information and computation . 2004,第1期

机译：DP下界用于单计数器自动机的等价检查和模型检查
2. Upper Bounds for Newton's Method on Monotone Polynomial Systems, and P-Time Model Checking of Probabilistic One-Counter Automata [J] . ALISTAIR STEWART, KOUSHA ETESSAMI, MIHALIS YANNAKAKIS Journal of the Association for Computing Machinery . 2015,第4期

机译：牛顿法在单调多项式系统上的上界和概率一计数器自动机的P时间模型检验
3. Lower bounds on the complexity of MSO_1 model-checking [J] . Robert Ganian, Petr Hlineny, Alexander Langer, Journal of computer and system sciences . 2014,第1期

机译：降低MSO_1模型检查的复杂性
4. Equivalence-Checking with One-Counter Automata: A Generic Method for Proving Lower Bounds [C] . Petr Jancar, Antonln Kucera, Faron Moller, Joint European Conferences on Theory and Practice of Software . 2002

机译：使用单反自动机的等效 - 检查：一种用于证明下限的通用方法
5. Connections Between Complexity Lower Bounds and Meta-computational Upper Bounds [D] . Carmosino, Marco Leandro. 2019

机译：复杂性下限与元计算上限之间的连接
6. Structure of the DP1–DP2 PolD complex bound with DNA and its implications for the evolutionary history of DNA and RNA polymerases [O] . Pierre Raia, Marta Carroni, Etienne Henry, 2019

机译：与DNA结合的DP1-DP2 PolD复合物的结构及其对DNA和RNA聚合酶进化史的影响
7. DP lower bounds for equivalence-checking and model-checking of one-counter automata [O] . Jančar, Petr, Kučera, Antonín, Moller, Faron, 2004

机译：DP下界用于单计数器自动机的等价检查和模型检查

DP Lower Bounds for Equivalence-Checking and Model-Checking of One-Counter Automata

著录项

引文网络

相似文献

相关主题

期刊订阅